-
1 unprovable statement
Большой англо-русский и русско-английский словарь > unprovable statement
-
2 unprovable statement
Математика: недоказуемое высказывание -
3 unprovable statement
недоказуемое утверждение; недоказуемое высказываниеEnglish-Russian electronics dictionary > unprovable statement
-
4 unprovable statement
недоказуемое утверждение; недоказуемое высказываниеThe New English-Russian Dictionary of Radio-electronics > unprovable statement
-
5 unprovable statement
English-Russian scientific dictionary > unprovable statement
-
6 unprovable
Большой англо-русский и русско-английский словарь > unprovable
-
7 statement
1) высказывание; утверждение2) предложение3) констатация4) описание5) положение6) постановка ( задачи)7) формулировка8) отчёт; бюллетень9) мат. оператор•- truth statementneither statement is true — ни то, ни другое утверждение неверно
-
8 statement
1) формулировка (напр. проблемы); постановка (напр. задачи)2) утверждение; высказывание3) оператор (предложение языка программирования, задающее функционально законченное действие); инструкция (в некоторых языках программирования, напр. в C++)4) заявление; сообщение•- action statement
- assert statement
- assignment statement
- atomic statement
- blank statement
- case statement
- categorical statement
- conditional statement
- comment statement
- compile-time statement
- compound statement
- conditional statement
- control statement
- data manipulation statement
- debug statement
- debugging statement
- declaration statement
- declarative statement
- delimiter statement
- dummy statement
- executable statement
- exception statement
- expect statement
- expression statement
- false statement
- fuzzy statement
- GOTO statement
- goto statement
- if statement
- imperative statement
- indexing statement
- invalid statement
- iterative statement
- job control statement
- labeled statement
- language statement
- logical statement
- looping statement
- mathematical statement
- negative statement
- nonexecutable statement
- null statement
- path statement
- positive statement
- problem statement
- program control statement
- protocol implementation conformance statement
- provable statement
- REM statement
- repeat-until statement
- repetitive statement
- satisfiable statement
- semantic statement
- send statement
- source statement
- specification statement
- transfer statement
- unconditional statement
- unlabeled statement
- unprovable statement
- while statement -
9 statement
1) формулировка (напр. проблемы); постановка (напр. задачи)2) утверждение; высказывание3) оператор (предложение языка программирования, задающее функционально законченное действие); инструкция (в некоторых языках программирования, напр. в C++)4) заявление; сообщение•- assert statement
- assignment statement
- atomic statement
- blank statement
- case statement
- categorical statement
- comment statement
- compile-time statement
- compound statement
- conditional statement
- control statement
- data manipulation statement
- debug statement
- debugging statement
- declaration statement
- declarative statement
- delimiter statement
- dummy statement
- exception statement
- executable statement
- expect statement
- expression statement
- false statement
- fuzzy statement
- GOTO statement
- goto statement
- if statement
- imperative statement
- indexing statement
- invalid statement
- iterative statement
- job control statement
- labeled statement
- language statement
- logical statement
- looping statement
- mathematical statement
- negative statement
- nonexecutable statement
- null statement
- path statement
- positive statement
- problem statement
- program control statement
- protocol implementation conformance statement
- provable statement
- REM statement
- repeat-until statement
- repetitive statement
- satisfiable statement
- semantic statement
- send statement
- source statement
- specification statement
- statement of problem
- transfer statement
- unconditional statement
- unlabeled statement
- unprovable statement
- while statementThe New English-Russian Dictionary of Radio-electronics > statement
-
10 недоказуемое высказывание
Большой англо-русский и русско-английский словарь > недоказуемое высказывание
См. также в других словарях:
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Curry's paradox — For Paul Curry s optical illusion and dissection puzzle, see Missing square puzzle. Curry s paradox is a paradox that occurs in naive set theory or naive logics, and allows the derivation of an arbitrary sentence from a self referring sentence… … Wikipedia
Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… … Wikipedia
Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Zermelo–Fraenkel set theory — Zermelo–Fraenkel set theory, with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC consists of a single primitive ontological notion, that of… … Wikipedia
Existence of God — Part of a series on God General conceptions … Wikipedia
Eastern epistemology — Jain EpistemologyAccording to Jain epistemology, reality is multifaceted ( anekanta , or non one sided ), such that no finite set of statements can capture the entire truth about the objects they describe. The Jain list of pramanas (valid sources … Wikipedia
Johnston diagram — Johnston diagrams, which look similar to Euler or Venn diagrams, illustrate formal propositional logic in a visual manner. Logically they are equivalent to truth tables; some may find them easier to understand at a glance. By overlaying one… … Wikipedia
Goodstein's theorem — In mathematical logic, Goodstein s theorem is a statement about the natural numbers made by Reuben Goodstein which states that every Goodstein sequence eventually terminates at 0. harvtxt|Kirby|Paris|1982 showed that it is unprovable in Peano… … Wikipedia
Self-refuting idea — Self refuting ideas are ideas or statements whose falsehood is a logical consequence of the act or situation of holding them to be true. Many ideas are accused by their detractors of being self refuting, and such accusations are therefore almost… … Wikipedia